COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00004 ENDMK
C⊗;
.require "let.pub" source
∂AILDr. Ashok Chandra↓IBM↓Thomas J. Watson Research Center↓P.O. Box 218
↓Yorktown Heights, N.Y. 10598∞

Dear Ashok:

	I delayed writing you, because I expected momentarily to
finish the circumscription paper.

	As you will see, I have adopted your suggestion for modifying
circumscription in a clearer but logically equivalent form suggested by
Pat Hayes.  The %2R(a) ∨ R(b)%1 example now works, and best of all,
we can again prove Davis's theorem relating the syntactic and semantic
forms of circumscription.

	Enclosed is a check for $94.00 with the payee blank.  It is
to pay for my flight to Boston for which I have finally gotten
partly reimbursed.  It should be made out to IBM or the travel agency
according to whether IBM paid it.

	I received a letter from Sharyn Hawkins with one more paycheck.
According to the total on it, which agrees with my somewhat dim
recollection, IBM has now paid me for five of the six weeks that
I worked.

	Carolyn and I both enjoyed our six weeks at IBM and all the
interesting people we met.

.reg